🧮 Z3 Solver

SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

A Wide Reduction Trick (2022)
words.filippo.io·7h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·18h·
Discuss: DEV
🌀Brotli Internals
This “smart coach” helps LLMs switch between text and code
news.mit.edu·6h
💻Local LLMs
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
Cheating? Or the acumen of modern programming? FOSS, "AI", and human conscience
gist.github.com·7h·
Discuss: Hacker News
🔗Concatenative Programming
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Zig Interface Revisited
williamw520.github.io·17h·
Discuss: Hacker News
🧩WASM Components
What people said about an OpenZFS bug
despairlabs.com·18h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Binary Search in a 2D Matrix
mmhaskell.com·3d
📐Error Bounds
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
My favorite use-case for AI is writing logs
vickiboykis.com·1d
🌳Incremental Parsing
Solving the Context Rot Problem for Coding Agents
install.md·14h·
Discuss: Hacker News
🌳Incremental Parsing
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·9h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·1d·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Rethinking Distributed Computing for the AI Era
cacm.acm.org·15h
⚡Incremental Computation
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·1d
🦀Rust Verification
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·1d·
Discuss: Hacker News, r/programming
🔒Type Safety